namespace factor {

void abort();
void exit(int status);

}
